группоид с сокращением

См. также в других словарях:

• ГРУППОИД — универсальная алгебра с одной бинарной операцией. Г. самый широкий класс таких алгебр; группы, полугруппы, квазигруппы все это Г. специального вида. Важным понятием для Г. является понятие изотоп и и операций. Пусть на множестве Gопределены две… …   Математическая энциклопедия

• УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… …   Математическая энциклопедия

• АЛГЕБРАИЧЕСКИХ СИСТЕМ КВАЗИМНОГООБРАЗИЕ — класс алгебраич. систем ( систем), аксиоматизируемый при помощи специальных формул логич. языка 1 й ступени, к рые наз. квазитождествами, или условными тождествами, и имеют вид: где термы сигнатуры от предметных переменных . В силу теоремы… …   Математическая энциклопедия

• АРХИМЕДОВА ПОЛУГРУППА — 1) Линейно упорядоченная полугруппа, все строго положительные (строго отрицательные) элементы к рой принадлежат одному архимедову классу. Всякая естественно упорядоченная А. п. S(см. Естественно упорядоченный группоид) изоморфна нек рой… …   Математическая энциклопедия

• Группа (математика) — Теория групп …   Википедия

• Группа (алгебра) — Группа в абстрактной алгебре непустое множество с определённой на нём бинарной операцией, удовлетворяющей указанным ниже аксиомам. Ветвь математики, занимающаяся группами, называется теорией групп. Всем знакомые вещественные числа наделены… …   Википедия